Relaxed Abduction: Robust Information Interpretation for Incomplete Models
نویسندگان
چکیده
This paper introduces relaxed abduction, a novel non-standard reasoning task for description logics. Although abductive reasoning over description logic knowledge bases has been applied successfully to various information interpretation tasks, it typically fails to provide adequate (or even any) results when confronted with spurious information or incomplete models. Relaxed abduction addresses this flaw by ignoring such pieces of information automatically based on a joint optimization of the sets of explained observations and required assumptions. We present a method to solve relaxed abduction over EL TBoxes based on the notion of multi-criterion shortest hyperpaths.
منابع مشابه
Application of Stochastic Optimal Control, Game Theory and Information Fusion for Cyber Defense Modelling
The present paper addresses an effective cyber defense model by applying information fusion based game theoretical approaches. In the present paper, we are trying to improve previous models by applying stochastic optimal control and robust optimization techniques. Jump processes are applied to model different and complex situations in cyber games. Applying jump processes we propose some m...
متن کاملIntegrating Abduction and Induction in the Learning from Interpretation Setting
In this paper we describe an approach for integrating abduction and induction in the ILP setting of learning from interpretations with the aim of solving the problem of incomplete information both in the background knowledge and in the interpretations. The approach is inspired by the techniques developed in the learning from entailment setting for performing induction from an incomplete backgro...
متن کاملArgumentation with Abduction
This paper presents a general approach to combining argumentation and abduction where the different uses of argumentation for preference reasoning and abduction for reasoning under incomplete information are synthesized together in an enhancing way. This integrated approach of argumentation and abduction can form the basis for encoding adaptable preference policies in the face of incomplete inf...
متن کاملAn Enhanced HL-RF Method for the Computation of Structural Failure Probability Based On Relaxed Approach
The computation of structural failure probability is vital importance in the reliability analysis and may be carried out on the basis of the first-order reliability method using various mathematical iterative approaches such as Hasofer-Lind and Rackwitz-Fiessler (HL-RF). This method may not converge in complicated problems and nonlinear limit state functions, which usually shows itself in the f...
متن کاملA Qualitative Model for Temporal Reasoning with Incomplete Information
We clevelop a qualitative framework for temporal reasoning with incomplete information that features a modeling language based on rules and a semantics based on infinitesimal probabilities. The framework relates logical and probabilistical models, and accommodates in a natural way features that, have been found problematic in other models like nondeterminism, action qualifications, parallel act...
متن کامل